Cohomology of Categorical Self-Distributivity
نویسندگان
چکیده
We define self-distributive structures in the categories of coalgebras and cocommutative coalgebras. We obtain examples from vector spaces whose bases are the elements of finite quandles, the direct sum of a Lie algebra with its ground field, and Hopf algebras. The selfdistributive operations of these structures provide solutions of the Yang–Baxter equation, and, conversely, solutions of the Yang–Baxter equation can be used to construct self-distributive operations in certain categories. Moreover, we present a cohomology theory that encompasses both Lie algebra and quandle cohomologies, is analogous to Hochschild cohomology, and can be used to study deformations of these self-distributive structures. All of the work here is informed via diagrammatic computations.
منابع مشابه
Many-Valued Complete Distributivity
Suppose (Ω, ∗, I) is a commutative, unital quantale. Categories enriched over Ω can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain adjunctions, they can be reformulated in the many-valued setting in terms of categorical postulations. So, it is possible, by aid o...
متن کاملCohomology Theory in 2-categories
Recently, symmetric categorical groups are used for the study of the Brauer groups of symmetric monoidal categories. As a part of these efforts, some algebraic structures of the 2-category of symmetric categorical groups SCG are being investigated. In this paper, we consider a 2-categorical analogue of an abelian category, in such a way that it contains SCG as an example. As a main theorem, we ...
متن کاملOn the Second Cohomology Categorical Group and a Hochschild-serre 2-exact Sequence
Résumé. We introduce the second cohomology categorical group of a categorical group G with coefficients in a symmetric G-categorical group and we show that it classifies extensions of G with symmetric kernel and a functorial section. Moreover, from an essentially surjective homomorphism of categorical groups we get 2-exact sequences à la Hochschild-Serre connecting the categorical groups of der...
متن کاملBoundedness and Complete Distributivity
We extend the concept of constructive complete distributivity so as to make it applicable to ordered sets admitting merely bounded suprema The KZ doctrine for bounded suprema is of some independent interest and a few results about it are given The category of ordered sets admitting bounded suprema over which inhabited classically non empty in ma distribute is shown to be bi equivalent to a cate...
متن کاملEquivariant geometry and the cohomology of the moduli space of curves
In this chapter we give a categorical definition of the integral cohomology ring of a stack. For quotient stacks [X/G] the categorical cohomology ring may be identified with the equivariant cohomology H∗ G(X). Identifying the stack cohomology ring with equivariant cohomology allows us to prove that the cohomology ring of a quotient Deligne-Mumford stack is rationally isomorphic to the cohomolog...
متن کامل